\documentclass{eceasst}

% Required packages
% =================
% Your \usepackage commands go here.
% Packages
\usepackage{amssymb}
\usepackage{verbatim} % for \begin{comment} ... \end{comment}
\usepackage{url}
\usepackage{subfig}

\newcommand{\nc}{\newcommand}


\nc{\trans}[1]{{#1}^{\mathcal{T}}}  % usage: $\trans{C}$
\nc{\ftrans}{\mathcal{T}}  % usage: $\trans$
\nc{\ft}[1]{\mathcal{\varphi}({#1})}    % usage: $\ft{C}$
\nc{\ftx}[2]{\mathcal{\varphi}({#1},{#2})}    % usage: $\ft{C}{x}$
\nc{\ftxprime}[2]{\mathcal{\varphi'}({#1},{#2})}    % usage: $\ftxprime{C}{x}$
\nc{\ftxE}[2]{\mathcal{\varphi^{\exists}}({#1},{#2})}    % usage: $\ftxE{C}{x}$
\nc{\rel}{\mathcal{R}}
\nc{\relS}{\mathcal{S}}
\nc{\multileft}{ \{\!| }
\nc{\multiright}{  |\!\} }
\nc{\multi}[1]{ \multileft {#1} \multiright }
\nc{\SQL}[1]{ \langle #1 \rangle } % usage $\SQL{R}$
\nc{\cod}[1]{{\sf #1}}            % code from the algorithm mentioned in the text
\nc{\row}[1]{\lessdot #1 \gtrdot} % usage $\SQL{R}$
%\nc{\cond}[1]{\lessdot#1\gtrdot} % usage $\SQL{R}$

% Volume frontmatter
% ==================
\input{frontmatter}

% Article frontmatter
% ===================
\title{Test-Case Generation for SQL Nested Queries with Existential Conditions
%\thanks{Work  partially supported by the Spanish projects STAMP (TIN2008-06622-C03-01), Prometidos-CM (S2009TIC-1465) %and GPD (UCM-BSCH-GR35/10-A-910502)}
}
\short{Test-Case Generation for SQL} % Short title of the article (optional)

\author{
Rafael Caballero\autref{1}
    \sponsor{Work  partially supported by the Spanish projects STAMP (TIN2008-06622-C03-01), Prometidos-CM (S2009TIC-1465) and GPD (UCM-BSCH-GR35/10-A-910502)}
Jos\'e Luz\'on-Mart\'{\i}n \autref{2}
Antonio Tenorio \autref{3}
}

\institute{\autlabel{1} \email{rafa@sip.ucm.es} \autlabel{2} \email{jose.11.10.88@gmail.com}
\autlabel{3} \email{senrof21@gmail.com}\\
Departamento de Sistemas Inform\'aticos y Computaci\'on\\
    Universidad Complutense de Madrid, Spain\\\par}

\abstract{This paper presents a test-case generator for SQL queries.
Starting with a set of related SQL views that can include existential subqueries in the conditions,
the technique finds a database instance that can be used as a test-case for the target view.
The proposal reduces the problem of generating the test-cases to a Constraint Satisfaction Problem
using finite domain constraints. In particular, we present a new approach for existential conditions that makes possible to find test-cases for a wider set of queries.
 The soundness and correctness of the technique with respect to a simple operational semantics for
 SQL queries without aggregates is proven. The theoretical ideas have been implemented in an available
  prototype.}
\keywords{SQL, Test-cases, constraints, finite domains}

\begin{document}
\maketitle

% Main part of your article
% =========================

\section{Introduction}\label{sec:intro}
\input{intro}

\section{SQL operational semantics}\label{sec:sql}
\input{sql}

\section{Generating Constraints}\label{sec:constraints}
\input{constraints}

\section{Prototype}\label{sec:prototype}
\input{prototype}

\section{Conclusions and Future Work}\label{sec:conclusions}
\input{conclusions}

% Acknowledgements for colleagues, referees, ...
% ==============================================
%\begin{acknowledge}
%\end{acknowledge}

% Bibliography with BibTeX
% ========================
\bibliographystyle{eceasst}
\bibliography{biblio}


\end{document}
